We shall make use of notions introduced at cubical set, and of the notation of this page.
A cubical Kan complex is a cubical set equipped with the following structure: for every integer , every integer , every integer , and every morphism of cubical sets, there is a morphism of cubical sets such that the following diagram in commutes.
Cubical Kan complexes admit a notion of homotopy group. The theory of these homotopy groups can be developed analogously to the theory of homotopy groups of a topological space. See homotopy groups of a cubical Kan complex.
Last revised on March 17, 2020 at 00:54:32. See the history of this page for a list of all contributions to it.